Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework
Identifieur interne : 002708 ( Main/Exploration ); précédent : 002707; suivant : 002709Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework
Auteurs : Maxime Amblard [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
English descriptors
- mix :
Abstract
Abstract: This article presents an extension of Minimalist Categorial Grammars (MCG) to encode Chomsky’s phases. These grammars are based on Partially Commutative Logic (PCL) and encode properties of Minimalist Grammars (MG) of Stabler [22]. The first implementation of MCG were using both non-commutative properties (to respect the linear word order in an utterance) and commutative ones (to model features of different constituents). Here, we propose to augment Chomsky’s phases with the non-commutative tensor product of the logic. Then we can give account of the PIC [7] just with logical properties of the framework instead of defining a specific rule.
Url:
- https://api.istex.fr/ark:/67375/HCB-PXVF1B8G-W/fulltext.pdf
- https://hal.archives-ouvertes.fr/hal-00601621
DOI: 10.1007/978-3-642-22221-4_1
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 002D93
- to stream Istex, to step Curation: 002D56
- to stream Istex, to step Checkpoint: 000608
- to stream Hal, to step Corpus: 001F48
- to stream Hal, to step Curation: 001F48
- to stream Hal, to step Checkpoint: 001D28
- to stream Main, to step Merge: 002750
- to stream Main, to step Curation: 002708
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework</title><author><name sortKey="Amblard, Maxime" sort="Amblard, Maxime" uniqKey="Amblard M" first="Maxime" last="Amblard">Maxime Amblard</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:C1C1A821B45E4FFF079D454268D5B723C38C794B</idno><date when="2011" year="2011">2011</date><idno type="doi">10.1007/978-3-642-22221-4_1</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-PXVF1B8G-W/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">002D93</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">002D93</idno><idno type="wicri:Area/Istex/Curation">002D56</idno><idno type="wicri:Area/Istex/Checkpoint">000608</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000608</idno><idno type="wicri:doubleKey">0302-9743:2011:Amblard M:encoding:phases:using</idno><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00601621</idno><idno type="url">https://hal.archives-ouvertes.fr/hal-00601621</idno><idno type="wicri:Area/Hal/Corpus">001F48</idno><idno type="wicri:Area/Hal/Curation">001F48</idno><idno type="wicri:Area/Hal/Checkpoint">001D28</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001D28</idno><idno type="wicri:Area/Main/Merge">002750</idno><idno type="wicri:Area/Main/Curation">002708</idno><idno type="wicri:Area/Main/Exploration">002708</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework</title><author><name sortKey="Amblard, Maxime" sort="Amblard, Maxime" uniqKey="Amblard M" first="Maxime" last="Amblard">Maxime Amblard</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>LORIA - INRIA Nancy Grand Est, BP 239, 54506, Vandoeuvre-lès-Nancy Cedex</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName></affiliation><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>Université Nancy 2, 13 rue Maréchal Ney, 54037, Nancy cedex</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Nancy</settlement></placeName><orgName type="university">Université Nancy 2</orgName></affiliation><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>INPL, 2 av. de la Forêt de Haye, BP 3, F-54501, Vandoeuvre</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandoeuvre</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="en"><term>Partially Commutative Logic</term><term>generative theory</term><term>linguistic modeling</term><term>phase</term><term>syntax</term><term>type theory</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: This article presents an extension of Minimalist Categorial Grammars (MCG) to encode Chomsky’s phases. These grammars are based on Partially Commutative Logic (PCL) and encode properties of Minimalist Grammars (MG) of Stabler [22]. The first implementation of MCG were using both non-commutative properties (to respect the linear word order in an utterance) and commutative ones (to model features of different constituents). Here, we propose to augment Chomsky’s phases with the non-commutative tensor product of the logic. Then we can give account of the PIC [7] just with logical properties of the framework instead of defining a specific rule.</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Nancy</li><li>Vandoeuvre</li><li>Vandœuvre-lès-Nancy</li></settlement><orgName><li>Université Nancy 2</li></orgName></list><tree><country name="France"><region name="Grand Est"><name sortKey="Amblard, Maxime" sort="Amblard, Maxime" uniqKey="Amblard M" first="Maxime" last="Amblard">Maxime Amblard</name></region><name sortKey="Amblard, Maxime" sort="Amblard, Maxime" uniqKey="Amblard M" first="Maxime" last="Amblard">Maxime Amblard</name><name sortKey="Amblard, Maxime" sort="Amblard, Maxime" uniqKey="Amblard M" first="Maxime" last="Amblard">Maxime Amblard</name><name sortKey="Amblard, Maxime" sort="Amblard, Maxime" uniqKey="Amblard M" first="Maxime" last="Amblard">Maxime Amblard</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002708 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002708 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:C1C1A821B45E4FFF079D454268D5B723C38C794B
|texte= Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework
}}
| This area was generated with Dilib version V0.6.33. |  |